/*test array assignment
 */
/*@*/
void printArray(array[10,int]a)
{
	int i;
	i=0;
	while(i<10)
	{
		print(a[i]);
		i=i+1;
	}
	return;
}
/*@*/	
/*@*/
array[10,int] initArray(array[10,int]a)
{
	int i;
	i=0;
	while(i<10)
	{
		a[i]=i*i;
		i=i+1;
	}
	return a;
}
/*@*/
/*@*/
int main()
{
	array [10,int] a;
	array [10,int] b;
	int i;
	//printArray(a);
	b=initArray(b);
	a=b;
	printArray(a);
	return 0;
}
/*@*/
